Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
111	RULE SOLVER™ Constraint Programming with OpenRules® USER MANUAL Add to Reading List Source URL: openrules.com Language: English - Date: 2014-05-18 17:14:24 Software engineering Computing Software Expert systems Rule engines Numerical software Decision support systems Mathematical modeling Constraint satisfaction Constraint programming Business rules engine AMPL
112	Proceedings of the 45th Annual Conference of the ORSNZ, NovemberOpenSolver: Open Source Optimisation for Excel www.opensolver.org Andrew J Mason Add to Reading List Source URL: secure.orsnz.org.nz Language: English - Date: 2010-11-30 23:14:37 Software Mathematical optimization Mathematical software Mathematical modeling Computer algebra systems Operations research Numerical software AMPL COIN-OR Linear programming Microsoft Excel Spreadsheet
113	D:/Sebastian/MODELBASE/MONFISPOL REPORTS/Delivarables/deliverable_512/text/MMB_user_manual.dvi Add to Reading List Source URL: www.monfispol.eu Language: English - Date: 2011-11-16 06:32:25 Software Array programming languages Cross-platform software Numerical software Linear algebra MATLAB Mathematical software Macroeconomic model Economic model Conceptual model Command-line interface Menu
114	Teacher Notes for Polygons Compatibility: TI-83/83+/83+SE/84+/84+SE Run The Program Called: POLYGONS X Summary This program helps students develop a systematic approach, effective recording of results and the skills of c Add to Reading List Source URL: www.calculatorsoftware.co.uk Language: English - Date: 2013-01-27 17:16:20 Office equipment Mathematics Mathematical notation Calculator Polygon Equipment Software calculator Media technology Programmable calculators
115	This article is taken from Brain Products Press Release Volume 46 Support Tip How to add methods to BrainVision Analyzer quickly and easily? An example of the interactive Matlab interface by Dr. Roland Csuhaj New signal Add to Reading List Source URL: www.brainproducts.com Language: English - Date: 2013-04-03 09:08:03 Software Application software Mathematical software Array programming languages Numerical software Cross-platform software Linear algebra MATLAB Comment Mode
116	Microsoft Word - HP 49g AUR Oct28 1000am TOC gutter.doc Add to Reading List Source URL: www.radixoy.com Language: English - Date: 2010-05-11 06:43:13 Software engineering Computer programming Software Calculators Mathematical notation Reverse Polish notation RPL Compiler Recursion
117	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
118	Do You want to create sth completely new? Are You innovative and ready for new challenges? Would You like to develop software of a new warehouse system? If so, we are looking for You! Software Developer Miejsce pracy: Ko Add to Reading List Source URL: praca.wwsi.edu.pl Language: English - Date: 2016-07-15 04:16:23 Software Computing Cross-platform software Mathematical software LabVIEW Numerical software Field-programmable gate array Linux CompactRIO
119	MathDox: Mathematical Documents on the Web Contribution to the OMDoc book A.M. Cohen, H. Cuypers, E. Reinaldo Barreiro Department of Mathematics Eindhoven University of Technology December 2, 2005 Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-12-08 03:21:56 Computing Software Application software Markup languages Mathematical markup languages Web development OpenMath OMDoc World Wide Web DocBook Web application Wolfram Mathematica
120	spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-23 13:58:39 Algebra Mathematics Mathematical analysis Roofline model Software optimization Software testing Matrix theory Matrix Pi

UPDATE